proof of constant coefficient